Symbolic computation - PDFSEARCH.IO - Document Search Engine

Symbolic computation
Results: 169

#	Item
161	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2011-04-18 09:16:27 Non-classical logic American Sign Language Association for Symbolic Logic Workshop on Logic Language Information and Computation Computability theory Modal logic Greg Hjorth Mereology Logic programming Logic Mathematical logic Philosophical logic
162	A Review of Mathematica RICHARD J. FATEMAN ∗ [removed] Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2005-08-29 16:56:59 Computer algebra systems Cross-platform software Functional languages Wolfram Research Mathematica Macsyma Sage Symbolic computation Pattern matching Software Mathematical software Science
163	LISP AND SYMBOLIC COMPUTATION: An International Journal, 5:4, 295–326, 1992 c 1992 Kluwer Academic Publishers – Manufactured in The Netherlands Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2004-05-14 16:07:36 Transformation languages Programming language implementation Procedural programming languages Source code Cross-platform software Hygienic macro Macro Scheme Preprocessor Software engineering Computing Computer programming
164	Higher-Order and Symbolic Computation, 13, 135–152, 2000 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Add to Reading List Source URL: www.ling.ohio-state.edu Language: English - Date: 2009-11-17 21:59:45 Symbol Entailment Greek alphabet Denotational semantics Continuation Goto Logic Control flow Software engineering
165	COMMON LISP: A Gentle Introduction to Symbolic Computation Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-10-02 01:50:31 Lisp programming language Lisp Cons Symbol Genera Keyword Scheme Scope Eval Computing Software engineering Computer programming
166	In Honour of Keith Geddes on his 60th Birthday This issue celebrates the scientific career of Professor Keith Geddes, one of the key figures in symbolic computation and one of the creators of the Maple computer algebra system. This celebration began two years ago, in 2008, a year that marked several numerically significant events in Keith Geddes’ life and career: He was born 60 years prior in Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2011-02-12 19:20:25 Algebra Computational science Year of birth missing Keith Geddes Gaston Gonnet Computer algebra system Symbolic computation Waterloo Maple Risch algorithm Mathematics Computer algebra Software
167	CURRICULUM VITAE NAME: Ilias S. Kotsireas ADDRESS: Add to Reading List Source URL: www.wlu.ca Language: English - Date: 2013-10-11 10:14:03 SIGSAM Maple Computational mathematics Wilfrid Laurier University Applied mathematics Symbolic computation Journal of Symbolic Computation Software Mathematics Science
168	PDF Document Add to Reading List Source URL: http.cs.berkeley.edu Language: English - Date: 2005-08-29 16:56:59 Computer algebra systems Cross-platform software Functional languages Wolfram Research Mathematica Macsyma Sage Symbolic computation Pattern matching Software Mathematical software Science
169	PDF Document Add to Reading List Source URL: axiom-developer.org Language: English - Date: 2012-06-11 00:53:10 Computer algebra systems SIGSAM CODEN Association for Computing Machinery Bill Schelter Symbolic computation Software Axiom Computing